Skip to main content

Decision procedures for elementary sublanguages of set theory. VII. Validity in set theory when a choice operator is present

Bookreader Item Preview

SIMILAR ITEMS (based on metadata)